package ast;

public class Endorse extends Term {

	private Term t;
	private Label l1;
	private Label l2;
	
	public Endorse(Term trm, Label lb1, Label lb2)
	{
		t = trm;
		l1 = lb1;
		l2 = lb2;
	}
	
	public Label getL1() {
		return l1;
	}

	public void setL1(Label l1) {
		this.l1 = l1;
	}

	public Label getL2() {
		return l2;
	}
	
	public void setL2(Label l2) {
		this.l2 = l2;
	}

	public Term getT() {
		return t;
	}
	
	public void setT(Term trm)
	{
		this.t = trm;
	}

	public String toString()
	{
		String res = "endorse(" + l1 + ", " + l2 + ", " + t + ")";
		return res;
	}
	
}
